Fundamental theorem of Galois theory